Chipping Away at Censorship Firewalls with User-Generated Content Sam Burnett, Nick Feamster, and Santosh Vempala School of Computer Science, Georgia Tech {sburnett, feamster, vempala}@cc.gatech.edu Abstract

Source URL: www.usenix.org

• Computing
• Internet privacy
• Software
• Technology
• Internet censorship
• Text messaging
• Email
• Internet censorship circumvention
• Freenet
• Deep packet inspection
• Steganography
• SMS

CS378, MA375T, PHY341 Homework 10 Homework 10 Introduction to Quantum Information Science

Source URL: www.scottaaronson.com

• Quantum information science
• Quantum mechanics
• Theoretical computer science
• Physics
• Quantum computing
• Matrices
• Controlled NOT gate
• Quantum algorithm
• Diagonalizable matrix
• Matrix
• Qubit
• Quantum superposition

Computing Science Group ABSTRACTION FRAMEWORK FOR MARKOV DECISION PROCESSES AND PCTL VIA GAMES Mark Kattenbelt Michael Huth

Source URL: qav.comlab.ox.ac.uk

• Mathematics
• Temporal logic
• Computation tree logic
• Logic in computer science
• Distribution
• Model theory
• Linear temporal logic
• Indescribable cardinal

Testing a Saturation-Based Theorem Prover: Experiences and Challenges Giles Reger1 , Martin Suda2 , and Andrei Voronkov1,2 1 School of Computer Science, University of Manchester, UK

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• Formal methods
• Mathematical logic
• School of Computer Science
• University of Manchester
• Mathematics
• Logic in computer science
• Automated theorem proving
• Formal verification
• SPASS
• Andrei Voronkov
• Vampire
• First-order logic

CS378, MA375T, PHY341 Homework 5 Homework 5 Introduction to Quantum Information Science

Source URL: www.scottaaronson.com

• Quantum information science
• Quantum mechanics
• Physics
• Quantum computing
• Units of information
• Teleportation
• Qubit
• Quantum entanglement
• Qutrit
• Superdense coding

Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata Marta Kwiatkowska1 , Gethin Norman2 , and David Parker3 1 Department of Computer Science, University of Oxford, Oxford, UK

Source URL: qav.comlab.ox.ac.uk

• Dynamic programming
• Markov decision process
• Stochastic control
• Symbol
• Timed automaton
• Probability and statistics
• Probability
• Approximation algorithms
• Computational complexity theory

CS378, MA375T, PHY341 Homework 7 Homework 7 Introduction to Quantum Information Science

Source URL: www.scottaaronson.com

• Theoretical computer science
• Quantum mechanics
• Quantum information science
• Quantum logic gate
• Quantum circuit
• Quantum computing
• Quantum Fourier transform
• Qubit
• Controlled NOT gate
• Quantum superposition
• PP
• Shor's algorithm

Building Power Consumption Models from Executable Timed I/O Automata Specifications ∗ Benoît Barbot , Marta Kwiatkowska, Alexandru Mereacre and Nicola Paoletti Department of Computer Science, University of Oxford, UK

Source URL: qav.comlab.ox.ac.uk

Worcester Polytechnic Institute – Social Science & Policy Studies Dept. ENV 280X: Environmental & Risk Communication Sample Syllabus Dr. Patricia Stapleton Course Description The purpose of this course is to introduce

Source URL: www.patriciastapleton.com

• Actuarial science
• Evaluation
• Financial risk
• Risk
• Safety
• Disaster
• United States Environmental Protection Agency
• Economy

How Behavioral Science Is Serving the American People | whitehouse.gov țħě ẄĦİȚĚ ĦǾŲȘĚ

Source URL: sbst.gov